Extending CORBA Interfaces with π-Calculus for Protocol Compatibility
نویسندگان
چکیده
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which they expect their methods to be used. In this paper we propose an extension of the CORBA IDL that uses a sugared subset of the polyadic π-calculus for describing object service protocols, aimed towards the automated checking of protocol interoperability between CORBA objects in open component-based environments. Furthermore, some advantages and disadvantages of our proposal are discussed, as well as some of the practical limitations encountered when trying to implement and use this sort of IDL extensions in open systems.
منابع مشابه
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility
1 Interoperability " The ability of two or more entities to communicate and cooperate despite differences in the implementation language, the execution environment, or the model abstraction " [Wegner, 1996]. • We distinguish three main levels of Object Interoperability: – The Signature level (signature of operations) – The Protocol level (partial order between messages) – The Semantic level (re...
متن کاملAdding Roles to CORBA Objects
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. Some of the existing proposals try to add protocol information to object interfaces, but most of them fail to do so in a modular way. In this paper we propose an extension of the CORBA IDL th...
متن کاملExtending CORBA Interfaces with Protocols
Traditional IDLs were defined for describing the services that objects offer, but not those services they require from other objects, nor the relative order in which they expect their methods to be called. In this paper we propose an extension of the Common Object Request Broker Architecture (CORBA) interface description language (IDL) that uses a sugared subset of the polyadic π-calculus for d...
متن کاملExtending IDLs with pi-calculus for Protocol Compatibility
Traditional IDLs present some limitations, since they were defined for describing the services that objects offer, but not those services they require from other objects, nor the partial ordering in which their services are expected to be used. In this paper we propose an IDL extension that uses a subset of π-calculus for describing objects service protocols. Our approach can be also used in a ...
متن کاملTyping the Behavior of Objects and Components using Session Types
This paper describes a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavioral properties of objects beyond the “static” information provided by IDLs. We build on the works by Honda et al. [6] and Gay and Hole [5] to show how session types can be effectively used for describing protocols, ext...
متن کامل